Danish formelle metoder for asynkrone systemer: tłumaczenie na inne języki